Weyl’s equidistribution theorem (proof)